statically typed language and dynamically typed language